; REQUIRES: x86-registered-target

; * Added incorrect logical instructions for: --print=lines,instructions
;   'bar' and 'foo' showing extra instruction from compiler generated functions:
;   '_cxx_global_var_init' and '_GLOBAL_sub_l_suite_lexical_01.cpp'
;
; * Missing logical instructions for: --print=instructions
;   Only 'foo' showing logical instructions.

; pr-incorrect-instructions-dwarf-clang.cpp
;  1 int ABCDE = 56; int XYZ = ABCDE * 65;
;  2 int bar(int Param) {
;  3   return Param + 999999 * Param - 66;
;  4 }
;  5
;  6 int foo(int Param) {
;  7   return Param - bar(Param) / Param * 66 + ABCDE;
;  8 }
;  9
; 10 int test(int P1) {
; 11  int Local_1 = P1 - ABCDE;
; 12  {
; 13    int Local_A = 0;
; 14    Local_A = P1 + foo(Local_1);
; 15    ++Local_1;
; 16  }
; 17  return Local_1;
; 18 }
; 19
; 20 int main() {
; 21  return 0;
; 22 }

; RUN: llvm-debuginfo-analyzer --attribute=level \
; RUN:                         --print=lines,instructions \
; RUN:                         %p/Inputs/pr-incorrect-instructions-dwarf-clang.o 2>&1 | \
; RUN: FileCheck --strict-whitespace -check-prefix=ONE %s

; ONE:      Logical View:
; ONE-NEXT: [000]           {File} 'pr-incorrect-instructions-dwarf-clang.o'
; ONE-EMPTY:
; ONE-NEXT: [001]             {CompileUnit} 'pr-incorrect-instructions-dwarf-clang.cpp'
; ONE-NEXT: [002]     2         {Function} extern not_inlined 'bar' -> 'int'
; ONE-NEXT: [003]     2           {Line}
; ONE-NEXT: [003]                 {Code} 'pushq	%rbp'
; ONE-NEXT: [003]                 {Code} 'movq	%rsp, %rbp'
; ONE-NEXT: [003]                 {Code} 'movl	%edi, -0x4(%rbp)'
; ONE-NEXT: [003]     3           {Line}
; ONE-NEXT: [003]                 {Code} 'movl	-0x4(%rbp), %eax'
; ONE-NEXT: [003]     3           {Line}
; ONE-NEXT: [003]                 {Code} 'imull	$0xf423f, -0x4(%rbp), %ecx'
; ONE-NEXT: [003]     3           {Line}
; ONE-NEXT: [003]                 {Code} 'addl	%ecx, %eax'
; ONE-NEXT: [003]     3           {Line}
; ONE-NEXT: [003]                 {Code} 'subl	$0x42, %eax'
; ONE-NEXT: [003]     3           {Line}
; ONE-NEXT: [003]                 {Code} 'popq	%rbp'
; ONE-NEXT: [003]                 {Code} 'retq'
; ONE-NEXT: [002]     6         {Function} extern not_inlined 'foo' -> 'int'
; ONE-NEXT: [003]     6           {Line}
; ONE-NEXT: [003]                 {Code} 'pushq	%rbp'
; ONE-NEXT: [003]                 {Code} 'movq	%rsp, %rbp'
; ONE-NEXT: [003]                 {Code} 'subq	$0x10, %rsp'
; ONE-NEXT: [003]                 {Code} 'movl	%edi, -0x4(%rbp)'
; ONE-NEXT: [003]     7           {Line}
; ONE-NEXT: [003]                 {Code} 'movl	-0x4(%rbp), %eax'
; ONE-NEXT: [003]                 {Code} 'movl	%eax, -0x8(%rbp)'
; ONE-NEXT: [003]     7           {Line}
; ONE-NEXT: [003]                 {Code} 'movl	-0x4(%rbp), %edi'
; ONE-NEXT: [003]     7           {Line}
; ONE-NEXT: [003]                 {Code} 'callq	0x0'
; ONE-NEXT: [003]     7           {Line}
; ONE-NEXT: [003]                 {Code} 'cltd'
; ONE-NEXT: [003]                 {Code} 'idivl	-0x4(%rbp)'
; ONE-NEXT: [003]                 {Code} 'movl	%eax, %ecx'
; ONE-NEXT: [003]                 {Code} 'movl	-0x8(%rbp), %eax'
; ONE-NEXT: [003]     7           {Line}
; ONE-NEXT: [003]                 {Code} 'imull	$0x42, %ecx, %ecx'
; ONE-NEXT: [003]     7           {Line}
; ONE-NEXT: [003]                 {Code} 'subl	%ecx, %eax'
; ONE-NEXT: [003]     7           {Line}
; ONE-NEXT: [003]                 {Code} 'addl	(%rip), %eax'
; ONE-NEXT: [003]     7           {Line}
; ONE-NEXT: [003]                 {Code} 'addq	$0x10, %rsp'
; ONE-NEXT: [003]                 {Code} 'popq	%rbp'
; ONE-NEXT: [003]                 {Code} 'retq'
; ONE-NEXT: [003]                 {Code} 'data16'
; ONE-NEXT: [002]    10         {Function} extern not_inlined 'test' -> 'int'
; ONE-NEXT: [003]                 {Block}
; ONE-NEXT: [004]    13             {Line}
; ONE-NEXT: [004]                   {Code} 'movl	$0x0, -0xc(%rbp)'
; ONE-NEXT: [004]    14             {Line}
; ONE-NEXT: [004]                   {Code} 'movl	-0x4(%rbp), %eax'
; ONE-NEXT: [004]                   {Code} 'movl	%eax, -0x10(%rbp)'
; ONE-NEXT: [004]    14             {Line}
; ONE-NEXT: [004]                   {Code} 'movl	-0x8(%rbp), %edi'
; ONE-NEXT: [004]    14             {Line}
; ONE-NEXT: [004]                   {Code} 'callq	0x0'
; ONE-NEXT: [004]                   {Code} 'movl	%eax, %ecx'
; ONE-NEXT: [004]                   {Code} 'movl	-0x10(%rbp), %eax'
; ONE-NEXT: [004]    14             {Line}
; ONE-NEXT: [004]                   {Code} 'addl	%ecx, %eax'
; ONE-NEXT: [004]    14             {Line}
; ONE-NEXT: [004]                   {Code} 'movl	%eax, -0xc(%rbp)'
; ONE-NEXT: [004]    15             {Line}
; ONE-NEXT: [004]                   {Code} 'movl	-0x8(%rbp), %eax'
; ONE-NEXT: [004]                   {Code} 'addl	$0x1, %eax'
; ONE-NEXT: [004]                   {Code} 'movl	%eax, -0x8(%rbp)'
; ONE-NEXT: [004]    17             {Line}
; ONE-NEXT: [004]                   {Code} 'movl	-0x8(%rbp), %eax'
; ONE-NEXT: [003]    10           {Line}
; ONE-NEXT: [003]                 {Code} 'pushq	%rbp'
; ONE-NEXT: [003]                 {Code} 'movq	%rsp, %rbp'
; ONE-NEXT: [003]                 {Code} 'subq	$0x10, %rsp'
; ONE-NEXT: [003]                 {Code} 'movl	%edi, -0x4(%rbp)'
; ONE-NEXT: [003]    11           {Line}
; ONE-NEXT: [003]                 {Code} 'movl	-0x4(%rbp), %eax'
; ONE-NEXT: [003]    11           {Line}
; ONE-NEXT: [003]                 {Code} 'subl	(%rip), %eax'
; ONE-NEXT: [003]    11           {Line}
; ONE-NEXT: [003]                 {Code} 'movl	%eax, -0x8(%rbp)'
; ONE-NEXT: [003]    17           {Line}
; ONE-NEXT: [003]                 {Code} 'addq	$0x10, %rsp'
; ONE-NEXT: [003]                 {Code} 'popq	%rbp'
; ONE-NEXT: [003]                 {Code} 'retq'
; ONE-NEXT: [002]    20         {Function} extern not_inlined 'main' -> 'int'
; ONE-NEXT: [003]    20           {Line}
; ONE-NEXT: [003]                 {Code} 'pushq	%rbp'
; ONE-NEXT: [003]                 {Code} 'movq	%rsp, %rbp'
; ONE-NEXT: [003]                 {Code} 'movl	$0x0, -0x4(%rbp)'
; ONE-NEXT: [003]    21           {Line}
; ONE-NEXT: [003]                 {Code} 'xorl	%eax, %eax'
; ONE-NEXT: [003]                 {Code} 'popq	%rbp'
; ONE-NEXT: [003]                 {Code} 'retq'
; ONE-NEXT: [003]    21           {Line}

; RUN: llvm-debuginfo-analyzer --attribute=level \
; RUN:                         --print=instructions \
; RUN:                         %p/Inputs/pr-incorrect-instructions-dwarf-clang.o 2>&1 | \
; RUN: FileCheck --strict-whitespace -check-prefix=TWO %s

; TWO:      Logical View:
; TWO-NEXT: [000]           {File} 'pr-incorrect-instructions-dwarf-clang.o'
; TWO-EMPTY:
; TWO-NEXT: [001]             {CompileUnit} 'pr-incorrect-instructions-dwarf-clang.cpp'
; TWO-NEXT: [002]     2         {Function} extern not_inlined 'bar' -> 'int'
; TWO-NEXT: [003]                 {Code} 'pushq	%rbp'
; TWO-NEXT: [003]                 {Code} 'movq	%rsp, %rbp'
; TWO-NEXT: [003]                 {Code} 'movl	%edi, -0x4(%rbp)'
; TWO-NEXT: [003]                 {Code} 'movl	-0x4(%rbp), %eax'
; TWO-NEXT: [003]                 {Code} 'imull	$0xf423f, -0x4(%rbp), %ecx'
; TWO-NEXT: [003]                 {Code} 'addl	%ecx, %eax'
; TWO-NEXT: [003]                 {Code} 'subl	$0x42, %eax'
; TWO-NEXT: [003]                 {Code} 'popq	%rbp'
; TWO-NEXT: [003]                 {Code} 'retq'
; TWO-NEXT: [002]     6         {Function} extern not_inlined 'foo' -> 'int'
; TWO-NEXT: [003]                 {Code} 'pushq	%rbp'
; TWO-NEXT: [003]                 {Code} 'movq	%rsp, %rbp'
; TWO-NEXT: [003]                 {Code} 'subq	$0x10, %rsp'
; TWO-NEXT: [003]                 {Code} 'movl	%edi, -0x4(%rbp)'
; TWO-NEXT: [003]                 {Code} 'movl	-0x4(%rbp), %eax'
; TWO-NEXT: [003]                 {Code} 'movl	%eax, -0x8(%rbp)'
; TWO-NEXT: [003]                 {Code} 'movl	-0x4(%rbp), %edi'
; TWO-NEXT: [003]                 {Code} 'callq	0x0'
; TWO-NEXT: [003]                 {Code} 'cltd'
; TWO-NEXT: [003]                 {Code} 'idivl	-0x4(%rbp)'
; TWO-NEXT: [003]                 {Code} 'movl	%eax, %ecx'
; TWO-NEXT: [003]                 {Code} 'movl	-0x8(%rbp), %eax'
; TWO-NEXT: [003]                 {Code} 'imull	$0x42, %ecx, %ecx'
; TWO-NEXT: [003]                 {Code} 'subl	%ecx, %eax'
; TWO-NEXT: [003]                 {Code} 'addl	(%rip), %eax'
; TWO-NEXT: [003]                 {Code} 'addq	$0x10, %rsp'
; TWO-NEXT: [003]                 {Code} 'popq	%rbp'
; TWO-NEXT: [003]                 {Code} 'retq'
; TWO-NEXT: [003]                 {Code} 'data16'
; TWO-NEXT: [002]    10         {Function} extern not_inlined 'test' -> 'int'
; TWO-NEXT: [003]                 {Block}
; TWO-NEXT: [004]                   {Code} 'movl	$0x0, -0xc(%rbp)'
; TWO-NEXT: [004]                   {Code} 'movl	-0x4(%rbp), %eax'
; TWO-NEXT: [004]                   {Code} 'movl	%eax, -0x10(%rbp)'
; TWO-NEXT: [004]                   {Code} 'movl	-0x8(%rbp), %edi'
; TWO-NEXT: [004]                   {Code} 'callq	0x0'
; TWO-NEXT: [004]                   {Code} 'movl	%eax, %ecx'
; TWO-NEXT: [004]                   {Code} 'movl	-0x10(%rbp), %eax'
; TWO-NEXT: [004]                   {Code} 'addl	%ecx, %eax'
; TWO-NEXT: [004]                   {Code} 'movl	%eax, -0xc(%rbp)'
; TWO-NEXT: [004]                   {Code} 'movl	-0x8(%rbp), %eax'
; TWO-NEXT: [004]                   {Code} 'addl	$0x1, %eax'
; TWO-NEXT: [004]                   {Code} 'movl	%eax, -0x8(%rbp)'
; TWO-NEXT: [004]                   {Code} 'movl	-0x8(%rbp), %eax'
; TWO-NEXT: [003]                 {Code} 'pushq	%rbp'
; TWO-NEXT: [003]                 {Code} 'movq	%rsp, %rbp'
; TWO-NEXT: [003]                 {Code} 'subq	$0x10, %rsp'
; TWO-NEXT: [003]                 {Code} 'movl	%edi, -0x4(%rbp)'
; TWO-NEXT: [003]                 {Code} 'movl	-0x4(%rbp), %eax'
; TWO-NEXT: [003]                 {Code} 'subl	(%rip), %eax'
; TWO-NEXT: [003]                 {Code} 'movl	%eax, -0x8(%rbp)'
; TWO-NEXT: [003]                 {Code} 'addq	$0x10, %rsp'
; TWO-NEXT: [003]                 {Code} 'popq	%rbp'
; TWO-NEXT: [003]                 {Code} 'retq'
; TWO-NEXT: [002]    20         {Function} extern not_inlined 'main' -> 'int'
; TWO-NEXT: [003]                 {Code} 'pushq	%rbp'
; TWO-NEXT: [003]                 {Code} 'movq	%rsp, %rbp'
; TWO-NEXT: [003]                 {Code} 'movl	$0x0, -0x4(%rbp)'
; TWO-NEXT: [003]                 {Code} 'xorl	%eax, %eax'
; TWO-NEXT: [003]                 {Code} 'popq	%rbp'
; TWO-NEXT: [003]                 {Code} 'retq'
